Exploring type theory and its application to hardware verification
- Författare
- Institutionen för datavetenskap (Göteborg) Mia Indrika
- (Mia Indrika., Härtill 3 uppsatser, Lic.-avh. (sammanfattning) Göteborg : Chalmers tekn. högsk., 2001)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2001 | Sverige, Göteborg | 96 sidor. |